/* The div that contains the editor */
#edit1 {
	position: fixed;
	top: 24px;
	left: 0;
	right: 0;
	bottom: 0;
}

/* Editor appearance modifications */
.CodeMirror {
	background-color: /*begin-color Window*/#ffffff/*end-color*/;
}

/* Initial editor font */
.CodeMirror span, .CodeMirror pre, .CodeMirror-linenumber {
	font-family: Monospace, sans-serif; 
	font-size: 14px;
	line-height: 1.2em;
}

/* Gutter with minimum width to be capable of large line numbers */
.CodeMirror-linenumber  {
	min-width: 3em; 
	cursor: pointer;
}

/* Active editor line */
.CodeMirror-activeline-background {
	background: #ecf6ff !important;
}

/* Visible tabs layout */
.cm-tab:after {
	content: "\2192";
	display: -moz-inline-block;
	display: -webkit-inline-block;
	display: inline-block;
	width: 0px;
	position: relative;
	overflow: visible;
	left: -1.4em;
	color: #999;
	visibility: hidden;
}

/* Modification for search dialogs */
.CodeMirror-dialog {
	position: fixed;
	top: 35%; left: 50%;
	width: 300px;
	margin-left: -150px;
	background: /*begin-color ButtonFace*/#f0f0f0/*end-color*/;
	border: 1px solid /*begin-color ButtonShadow*/#999999/*end-color*/;
	z-index: 15;
	padding: 2em;
	overflow: hidden;
	color: /*begin-color WindowText*/#000000/*end-color*/;
	font-family: Verdana Arial, Helvetica, sans-serif;
	font-size: 12px;
}

.CodeMirror-dialog > div {
}

.CodeMirror-dialog span {
	font-family: Verdana Arial, Helvetica, sans-serif !important;
	font-size: 12px !important;
}

.CodeMirror-dialog input {
	border: 1px solid /*begin-color ButtonShadow*/#999999/*end-color*/;
	outline: none;
	background: /*begin-color Window*/#ffffff/*end-color*/;
	width: 18em;
	float: right;
	margin-left: 1em;
	color: /*begin-color WindowText*/#000000/*end-color*/;
}

.CodeMirror-dialog button {
	margin-left: 1em;
	font-size: 12px !important;
}
